Kripke semantics - PDFSEARCH.IO - Document Search Engine

Kripke semantics
Results: 182

#	Item
31	Simulation and information: quantifying over epistemic events Hans van Ditmarsch12⋆ and Tim French3 1 3 Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:18:58 Modal logic Philosophical logic Model theory Theoretical computer science Bisimulation Logic in computer science Kripke semantics Epistemic modal logic Common knowledge Logic Mathematical logic Mathematics
32	Hans van Ditmarsch EPS – Project numberfor public dissemination Add to Reading List Source URL: personal.us.es Language: English - Date: 2013-08-13 03:09:02 Mathematics Common knowledge Epistemic modal logic Probabilistic logic Kripke semantics Modal operator Dynamic logic Temporal logic Belief revision Logic Mathematical logic Modal logic
33	A Fixpoint Calculus for Local and Global Program Flows Rajeev Alur Swarat Chaudhuri P. Madhusudan Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-03-07 16:10:53 Formal languages Metalogic Automata theory Kripke semantics Sheaf theory Partition Nested word Well-formed formula Model theory Logic Mathematics Mathematical logic
34	TLP 10 (4–6): 675–690, C Cambridge University Press 2010 675 Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:09:01 Model theory Modal logic Non-classical logic Temporal logic Kripke semantics Kripke structure Interpretation Stable model semantics Saul Kripke Logic Mathematical logic Philosophical logic
35	[44] M. Wooldridge. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, Department of Computation, UMIST, Manchester, OctoberAppeared as technical report MMU-DOCM. Wooldridge and M Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:35:38 Kripke semantics Entailment Logic Philosophical logic Modal logic
36	Using Answer Set Programming to model multi-agent scenarios involving agents’ knowledge about other’s knowledge Chitta Baral, Gregory Gelfond Tran Cao Son, Enrico Pontelli Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:07:51 Modal logic Artificial intelligence Knowledge representation Kripke semantics Frame problem Entailment Epistemic modal logic Common knowledge Stable model semantics Logic Philosophical logic Logic programming
37	Copyrighted Material Introduction This book Add to Reading List Source URL: press.princeton.edu Language: English - Date: 2010-07-28 11:07:12 Philosophical logic Philosophy of language Meaning Semantics Theories of truth Truth Proposition Saul Kripke Language Philosophy Logic Analytic philosophy
38	Under consideration for publication in Math. Struct. in Comp. Science A Step-Indexed Kripke Model of Hidden State Jan Schwinghammer (Saarland University, Saarbr¨ ucken) Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-01-05 06:52:11 Model theory Modal logic Denotational semantics Logic in computer science Kripke semantics Structure Natural deduction Orbifold Logic Mathematical logic Mathematics
39	Reasoning About the Beliefs of Agents in Multi-Agent Domains in the Presence of State Constraints: The Action Language mAL Chitta Baral1 , Gregory Gelfond1 , Enrico Pontelli2 , and Tran Cao Son2 1 Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:07:58 Modal logic Model theory Symbol Kripke semantics Epistemic modal logic Interpretation Dynamical system Logic Mathematical logic Philosophical logic
40	Resourceful Reachability as HORN-LA Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, and Christoph M. Wintersteiger Microsoft Research, University of Kent Abstract. The program verification tool SLAyer us Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:15 Electronic design automation Formal methods Logic in computer science NP-complete problems Vehicle Identification Number Satisfiability Modulo Theories FO Kripke semantics Theoretical computer science Mathematical logic Logic

UPDATE